La principal función del proyecto es la transformación del problema de encontrar un caso de prueba positivo para una determinada vista SQL en un problema de resolución de restricciones. Para ello seguimos las ideas presentadas en \cite{flops2010} y ampliamos su ámbito de aplicación \cite{prole2012} para poder usarla con subqueries existenciales anidadas. 

Para representar las restricciones obtenidas usamos una representación interna (figura \ref{fig:umlformulas}), lo que nos permite traducir a una gran variedad de lenguajes de restricciones para su resolución.

A continuación presentamos el método utilizado para transformar sentencias SQL en restricciones.